% 否定\+の中の述語のCallが失敗した場合にFailが表現されるようにするために、
% 各プログラムの冒頭に次の一行の定義を追加してください。

:-unknown(P,fail).